Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns

We present work concerning the formal specification of business processes. It is of substantial benefit to be able to pin down the meaning of business processes precisely. This is an end in itself, but we are also concerned to do so in order that we might prove properties about the business processes that are being specified. It is a notable characteristic of most languages for representing bus...

متن کامل

Expressing Workflow Patterns in CCS

There is an ongoing debate in the workflow community about the relative merits of Petri nets and π-calculus for workflow modeling. Recently, van der Aalst presented some challenges to model workflow in π-calculus. This paper responds to those challenges by showing how to code the 20 most commonplace workflow patterns in CCS (a subset of π-calculus), and describes two new workflow patterns that ...

متن کامل

YAWL: yet another workflow language

Based on a rigorous analysis of existing workflow management systems and workflow languages, a new workflow language is proposed: YAWL (Yet Another Workflow Language). To identify the differences between the various languages, we have collected a fairly complete set of workflow patterns. Based on these patterns we have evaluated several workflow products and detected considerable differences in...

متن کامل

YAWL : Yet Another Workflow Language ( Revised version )

Based on a rigorous analysis of existing workflow management systems and workflow languages, a new workflow language is proposed: YAWL (Yet Another Workflow Language). To identify the differences between the various languages, we have collected a fairly complete set of workflow patterns. Based on these patterns we have evaluated several workflow products and detected considerable differences in...

متن کامل

Supporting the Workflow Management System Development Process with YAWL

In order to address particular needs from the healthcare domain, the open-source YAWL Workflow Management System (WfMS) has been extended with features for scheduling support and inter-workflow support, the YAWL4Healthcare WfMS. As part of this undertaking, a WfMS development approach has been followed in which the same conceptual model is used for specifying, developing, testing, and validatin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Group Decision and Negotiation

سال: 2006

ISSN: 0926-2644,1572-9907

DOI: 10.1007/s10726-006-9064-4